'Stunning': Roger Penrose On' Gödel's Theorem